add_subdirectory(aig-rewriting)
add_subdirectory(sproute)
